|
|
|
| e-Pub |
Previous | 
Home
Section: Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
The miTLS project received a grant from Mozilla for work on TLS 1.3. Catalin Hritcu received a PhD grant from Microsoft Research.
Overall Objectives
Research Program
Application Domains
Overall Objectives
New Results
- Verification of Security Protocols in the Symbolic Model
- Verification of Security Protocols in the Computational model
- The F* programming language
- Micro-Policies and Secure Compilation
- Dependable Property-Based Testing
- Attacks and Proofs for Transport Layer Security
- Privacy, Electronic Voting, and Auctions
- Computationally Complete Symbolic Attacker Models
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography